formal translation model